Digraph of an Irreflexive Relation